Finality regained: A coalgebraic study of Scott-sets and multisets
نویسندگان
چکیده
In this paper we study iterated circular multisets in a coalgebraic framework. We will produce two essentially di erent universes of such sets. The unisets of the rst universe will be shown to be precisely the sets of the Scott universe. The unisets of the second universe will be precisely the sets of the AFA-universe. We will have a closer look into the connection of the iterated circular multisets and arbitrary trees.
منابع مشابه
General definitions for the union and intersection of ordered fuzzy multisets
Since its original formulation, the theory of fuzzy sets has spawned a number of extensions where the role of membership values in the real unit interval $[0, 1]$ is handed over to more complex mathematical entities. Amongst the many existing extensions, two similar ones, the fuzzy multisets and the hesitant fuzzy sets, rely on collections of several distinct values to represent fuzzy membershi...
متن کاملON GENERALIZED FUZZY MULTISETS AND THEIR USE IN COMPUTATION
An orthogonal approach to the fuzzification of both multisets and hybridsets is presented. In particular, we introduce $L$-multi-fuzzy and$L$-fuzzy hybrid sets, which are general enough and in spirit with thebasic concepts of fuzzy set theory. In addition, we study the properties ofthese structures. Also, the usefulness of these structures is examined inthe framework of mechanical multiset proc...
متن کاملA Bialgebraic Review of Regular Expressions, Deterministic Automata and Languages
This papers reviews the classical theory of deterministic automata and regular languages from a categorical perspective. The basis is formed by Rutten's description of the Brzozowski automaton structure in a coalgebraic framework. We enlarge the framework to a so-called bialgebraic one, by including algebras together with suitable distributive laws connecting the algebraic and coalgebraic struc...
متن کاملBehavioural Differential Equations: a Coinductive Calculus of Streams, Automata, and Power Series Behavioural Diierential Equations: a Coinductive Calculus of Streams, Automata, and Power Series
Streams, (automata and) languages, and formal power series are viewed coalgebraically. In summary , this amounts to supplying these sets with a deterministic automaton structure, which has the universal property of being nal. Finality then forms the basis for both deenitions and proofs by coinduction, the coalgebraic counterpart of induction. Coinductive deenitions take the shape of what we hav...
متن کاملCentrum Voor Wiskunde En Informatica Reportrapport Behavioural Differential Equations: a Coinductive Calculus of Streams, Automata, and Power Series Behavioural Diierential Equations: a Coinductive Calculus of Streams, Automata, and Power Series
Streams, automata and languages, and formal power series are viewed coalgebraically. In summary , this amounts to supplying these sets with a deterministic automaton structure, which has the universal property of being nal. Finality then forms the basis for both deenitions and proofs by coinduction, the coalgebraic counterpart of induction. Coinductive deenitions take the shape of what we h a v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Arch. Math. Log.
دوره 41 شماره
صفحات -
تاریخ انتشار 2002